Robustness of temporal logic specifications for continuous-time signals
نویسندگان
چکیده
منابع مشابه
Robustness of temporal logic specifications for continuous-time signals
In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL) formulas over signals that take values in metric spaces. For such signals, which are generated by systems whose states are equipped with non-trivial metrics, for example continuous or hybrid, robustness is not only natural, but also a critical measure of system performance. Thus, we propose multi-valued semantic...
متن کاملRobustness of Temporal Logic Specifications
In this paper, we consider the robust interpretation of Metric Temporal Logic (MTL)formulas over signals that take values in metric spaces. For such signals, whichare generated by systems whose states are equipped with nontrivial metrics, forexample continuous or hybrid, robustness is not only natural, but also a criticalmeasure of system performance. Thus, we propose multi-valu...
متن کاملContinuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
Finding mathematical models satisfying a specification built from the formalization of biological experiments, is a common task of the modeler that techniques like modelchecking help solving, in the qualitative but also in the quantitative case. In this article we define a continuous degree of satisfaction of temporal logic formulae with constraints. We show how such a satisfaction measure can ...
متن کاملRobustness of Temporal Logic Specifications for Finite State Sequences in Metric Spaces
In this paper, we consider the robust interpretation of metric temporal logic (MTL) formulas over timed sequences of states. For systems whose states are equipped with nontrivial metrics, such as continuous, hybrid, or general metric transition systems, robustness is not only natural, but also a critical measure of system performance. In this paper, we define robust, multi-valued semantics for ...
متن کاملContinuous time temporal logic with counting
We add to the standard temporal logic TL(U,S) a sequence of “counting modalities”: For each n the modality Cn(X), which says that X will be true at least at n points in the next unit of time, and its dual ←− C n, which says that X has happened n times in the last unit of time. We show that this temporal logic is expressively complete for the metric predicate logic Q2MLO, which is expressive, de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2009
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2009.06.021